jade.domain.introspection
Class Occurred

java.lang.Object
  |
  +--jade.domain.introspection.Occurred

public class Occurred

extends java.lang.Object

This class represents the 'occurred' predicate, whose argument is a JADE event.

Author:

Giovanni Rimassa - Universita` di Parma

Constructor Summary

Occurred()

Method Summary

EventRecord	get_0()
void	set_0(EventRecord er)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Occurred

public Occurred()

Method Detail

set_0

public void set_0(EventRecord er)

get_0

public EventRecord get_0()